Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
121	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture
122	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics
123	Server-driven Outbound Web-application Sandboxing FP7-ICT, Project Nohttps://www.websand.eu Deliverable D4.1 Add to Reading List Source URL: websand.eu Language: English - Date: 2015-05-06 05:08:51 Software engineering Computing Software architecture Computer access control Scripting languages Cross-platform software JavaScript Web programming Mashup HTTP cookie Web API Same-origin policy
124	Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Software engineering Computer programming Computing Procedural programming languages Functional languages Programming language implementation Data types Compiler construction Standard ML Interpreter Compiler-compiler Type system
125	Modulare Werkzeugarchitektur A critical discussion on Domain-Specific Languages Disclaimer Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Software engineering Computing Programming paradigms Computer programming Domain-specific language Programming language implementation Red Programming language Tom Object-oriented programming Abstraction Rodrigo B. De Oliveira
126	A-Level Computer Science Accelerator Pack The information in this pack is aimed for students to gather an understanding of computing/computer science to approximately a GCSE C grade. The A-Level Computer Science course p Add to Reading List Source URL: leventhorpe.net Language: English - Date: 2015-07-13 06:52:12 Computing Software engineering Computer programming Input/output Visual programming languages Programming languages Computer Algorithm Scratch
127	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:16:49 Software engineering Computer programming Programming language theory Data types Subroutines Functional programming Type theory Procedural programming languages Higher-order function Option type ALGOL 68 Technical University of Denmark
128	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
129	Introduction to Smalltalk - Chapter 8 - More Sequenceable Collections, List widgets  Ivan TomekChapter 8 - More Sequenceable Collections, List widgets Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Self VisualWorks Objective-C Widget This Mutator method Pointer
130	Metacomputation: MST plus SCP Valentin F. Turchin The City College of New York First of all, I want to thank the organizers of this seminar for inviting me Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Declarative programming Functional programming Functional languages Refal Metacompilation Functions and mappings Pattern matching Closure Function Monad

UPDATE